Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.orgยท15h
๐Ÿ”ฒCellular Automata
Building A Real-Time Communication System Using Go and WebSocket
dev.toยท2hยท
Discuss: DEV
๐ŸŒWebSocket Framing
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
The Why of PGP Authentication
articles.59.caยท6h
๐Ÿ”‘Cryptographic Protocols
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
How I found an unauthenticated goldmine of PII
infosecwriteups.comยท7h
๐Ÿ”“Hacking
When AI Remembers Too Much โ€“ Persistent Behaviors in Agentsโ€™ Memory
unit42.paloaltonetworks.comยท21h
๐Ÿ”ฒCellular Automata
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
QUIC! Jump to User Space!
hackaday.comยท3h
๐ŸŒNetwork Protocols
SymmACP: extending Zed's ACP to support Composable Agents
smallcultfollowing.comยท2d
๐ŸŒProtocol Synthesis
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.comยท2dยท
๐Ÿ”‘Cryptographic Protocols
Show HN: TrustMesh โ€“ Open-source reputation layer for AI agents
github.comยท5hยท
๐ŸŒณArchive Merkle Trees
LLMs and reinforcement learning
sicpers.infoยท9h
โš”๏ธLean Tactics
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming